1. A science of operations
المؤلف: / by Peter Mark Priestley
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
2. A science of operations
المؤلف: Mark Priestley.,Priestley, Mark
المکتبة: (طهران)
موضوع: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
رده :
QA76
.
6
.
P73
2011
3. A science of operations
المؤلف: Mark Priestley
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
4. Artificial intelligence for big data :
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
5. First-order dynamic logic
المؤلف: Harel, David
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
6. First-order dynamic logic
المؤلف: Harel, David
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
7. Introduction to logic programming
المؤلف: Hogger, Christorpher John
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H624
1984
8. Les mathematiques a la portee de l'ordinateur
المؤلف: / Pref de J. Kuntzmann
المکتبة: (طهران)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical,Programming languages (Electronic computers)
رده :
Q
335
.
A75
9. Logic and computer science
المؤلف: / S. Homer... [et al.]
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
10. Logic and specifiction
المؤلف: Middelburg, Cornelis A
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Programming languages (Electronic computers)- Semantics►Software engineering►Logic, Symbolic and mathematical
رده :
76
.
7
.
M53
11. Logic for problem solving
المؤلف: Kowalski, Robert
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Problem solving►Electronic digital computers -- Programming►Logic, Symbolic and mathematical
رده :
63
.
K68
12. Logic of Domains
المؤلف: Guo-Qiang Zhang
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
13. Logic of domains
المؤلف: Zhang, Guo-Qiang
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
14. Logics of specification languages
المؤلف: Dines Bjrner, Martin C. Henson, editors
المکتبة: (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
15. Logics of specification languages
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
16. Logics of specification languages
المؤلف: Dines Bjrner, Martin C. Henson, editors
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
17. Mathematical logic and programming language
المؤلف: Hoare, C. A. R.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
18. Mathematical logic and programming languages
المؤلف: / edited by C.A.R. Hoare and J.C. Shepherdson
المکتبة: (طهران)
موضوع: Programming languages (Electronic computers),Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
19. Mathematical logic and programming languages
المؤلف: / Edited by C. A. R. Hoare, J. C. Shepherdson
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
20. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
